Michael Hanus (auth.): pesquisar na Z-Library

Sua porta de entrada para o conhecimento e a cultura. Acessível para todos.

Don't use scam websites

Livros (16)
Mais populares
Lista
- Lista
- Tabela

1

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)

Ano:

1996

Idioma:

english

Arquivo:

DJVU, 3.57 MB

0 / 0

english, 1996

2

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)

Ano:

2009

Idioma:

english

Arquivo:

PDF, 2.46 MB

0 / 0

english, 2009

3

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6,

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6,

Springer-Verlag Berlin Heidelberg

Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann (auth.), Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.)

Ano:

2005

Idioma:

english

Arquivo:

PDF, 3.52 MB

0 / 0

english, 2005

4

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Springer-Verlag Berlin Heidelberg

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)

Ano:

2011

Idioma:

english

Arquivo:

PDF, 1.95 MB

0 / 0

english, 2011

5

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

John Hughes (auth.), Michael Hanus (eds.)

Ano:

2007

Idioma:

english

Arquivo:

PDF, 3.45 MB

0 / 0

english, 2007

6

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)

Ano:

1992

Idioma:

english

Arquivo:

DJVU, 4.27 MB

0 / 0

english, 1992

7

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)

Ano:

1997

Idioma:

english

Arquivo:

PDF, 18.80 MB

0 / 0

english, 1997

8

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

John Hughes (auth.), Michael Hanus (eds.)

Ano:

2007

Idioma:

english

Arquivo:

PDF, 4.30 MB

0 / 0

english, 2007

9

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)

Ano:

2009

Idioma:

english

Arquivo:

PDF, 5.44 MB

0 / 0

english, 2009

10

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

John Hughes (auth.), Michael Hanus (eds.)

Ano:

2007

Idioma:

english

Arquivo:

PDF, 3.18 MB

0 / 5.0

english, 2007

11

Problemlösen mit PROLOG

Problemlösen mit PROLOG

Vieweg+Teubner Verlag

Michael Hanus (auth.)

Ano:

1987

Idioma:

german

Arquivo:

PDF, 5.26 MB

0 / 0

german, 1987

12

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)

Ano:

2009

Idioma:

english

Arquivo:

PDF, 3.51 MB

0 / 0

english, 2009

13

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Springer-Verlag Berlin Heidelberg

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)

Ano:

2011

Idioma:

english

Arquivo:

PDF, 1.75 MB

0 / 0

english, 2011

14

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)

Ano:

1997

Idioma:

english

Arquivo:

DJVU, 2.60 MB

0 / 0

english, 1997

15

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)

Ano:

1996

Idioma:

english

Arquivo:

PDF, 11.50 MB

0 / 0

english, 1996

16

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)

Ano:

2009

Idioma:

english

Arquivo:

PDF, 4.43 MB

0 / 0

english, 2009